Field\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$r$:CRng\{i\}$\mid$ IsField($r$)\}